TSTP Solution File: GRA033^2 by SInE---0.4